package procilege.lang;

public class ExprSubstitute implements BoolExprElement, EntityExprElement,
		PrivExprElement {

	private ExprElement expr;
	private ExprElement object;
	private Name boundedName;

	public ExprSubstitute(ExprElement expr) {

		this.expr = expr;
	}

	public ExprSubstitute(ExprElement expr, ExprElement object, Name bounded) {

		this.expr = expr;
		this.object = object;
		this.boundedName = bounded;
	}

	public ExprElement getExpr() {
		return expr;
	}

	public ExprElement getObject() {
		return object;
	}

	public Name getBoundedName() {
		return boundedName;
	}
}
